
\begin{tikzpicture}[>=latex,line join=bevel,]
  \pgfsetlinewidth{1bp}
%%
\pgfsetcolor{black}
  % Edge: (key#15,23) -> (key#3,3)
  \draw [->] (229.73bp,77.054bp) .. controls (230.45bp,68.063bp) and (231.44bp,55.62bp)  .. (233.15bp,34.243bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (221.03bp,60.743bp) node {b};
  % Edge: (key#2,2) -> (key#11,19)
  \draw [->] (109.99bp,421.86bp) .. controls (114.26bp,411.81bp) and (120.34bp,397.51bp)  .. (129.34bp,376.35bp);
  \draw (129.69bp,408.74bp) node {b};
  % Edge: (key#2,2)__precursor__ -> (key#2,2)
  \draw [->] (53.512bp,446.75bp) .. controls (57.79bp,445.72bp) and (62.309bp,444.64bp)  .. (76.578bp,441.22bp);
  % Edge: (key#12,20) -> (key#14,22)
  \draw [->] (195.26bp,216.39bp) .. controls (198.86bp,207.16bp) and (203.87bp,194.33bp)  .. (211.82bp,173.95bp);
  \draw (190.71bp,195.87bp) node {a};
  % Edge: (key#14,22) -> (key#15,23)
  \pgfsetcolor{red}
  \draw [->] (218.94bp,148.37bp) .. controls (220.6bp,138.4bp) and (222.95bp,124.3bp)  .. (226.61bp,102.3bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (240.93bp,132.39bp) node {ret: (key\#11,19), };
  % Edge: (key#13,21) -> (key#12,20)
  \draw [->] (170.32bp,284.67bp) .. controls (173.72bp,275.21bp) and (178.47bp,262.02bp)  .. (185.94bp,241.26bp);
  \draw (165.41bp,263.74bp) node {a};
  % Edge: (key#11,19) -> (key#13,21)
  \pgfsetcolor{green}
  \draw [->] (140.52bp,351.29bp) .. controls (144.79bp,342.18bp) and (150.67bp,329.6bp)  .. (159.98bp,309.69bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (132.1bp,328.08bp) node {call};
  % Edge: (key#2,2) -> (key#4,18)
  \draw [->] (112.07bp,446.88bp) .. controls (117.8bp,456.39bp) and (125.84bp,469.76bp)  .. (137.84bp,489.69bp);
  \draw (133.32bp,457.91bp) node {a};
  % Node: (key#3,3)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (234bp,18bp) ellipse (33bp and 13bp);
  \draw (234bp,18bp) ellipse (37bp and 17bp);
  \draw (234.49bp,17.5bp) node {(key\#3,3)};
\end{scope}
  % Node: (key#12,20)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (190bp,229bp) ellipse (38bp and 13bp);
  \draw (190.42bp,228.79bp) node {(key\#12,20)};
\end{scope}
  % Node: (key#15,23)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (229bp,90bp) ellipse (38bp and 13bp);
  \draw (228.73bp,89.615bp) node {(key\#15,23)};
\end{scope}
  % Node: (key#11,19)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (135bp,364bp) ellipse (38bp and 13bp);
  \draw (134.67bp,363.82bp) node {(key\#11,19)};
\end{scope}
  % Node: (key#14,22)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (217bp,161bp) ellipse (38bp and 13bp);
  \draw (216.81bp,161.16bp) node {(key\#14,22)};
\end{scope}
  % Node: (key#4,18)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (145bp,502bp) ellipse (35bp and 13bp);
  \draw (145.25bp,501.99bp) node {(key\#4,18)};
\end{scope}
  % Node: (key#2,2)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (105bp,435bp) ellipse (33bp and 13bp);
  \draw (104.62bp,434.5bp) node {(key\#2,2)};
\end{scope}
  % Node: (key#13,21)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (166bp,297bp) ellipse (38bp and 13bp);
  \draw (165.81bp,297.22bp) node {(key\#13,21)};
\end{scope}
%
\end{tikzpicture}
